简单类型 lambda 演算

simply typed lambda calculus  detail>>

简单类型lambda演算

simply typed lambda calculus  detail>>

简单类型

simple types  detail>>

简单类型论

simple theory of types  detail>>

无类型 lambda 演算

lambda calculus  detail>>

无类型lambda演算

lambda calculus  detail>>

有类型 lambda 演算

typed lambda calculus  detail>>

有类型lambda演算

typed lambda calculus  detail>>

标准简单类型

standard simple type  detail>>

简单类型理论

simple type theory  detail>>

lambda 演算

lambda calculus  detail>>

lambda演算

lambda calculus  detail>>

表单类型

form types  detail>>

委托单类型

order types  detail>>

非指定保单类型

presentation of an insurance documents of a type other than that required by the credit  detail>>

lambda

 n.  1.希腊语第十一个字母〔Λ,λ 与英语字母L相当〕。 2.微升〔百万分之一升〕。 3.λ粒子( ＝ lambda particle)。  detail>>

演算

perform mathematical calculations; calculation; calculus ◇演算器 exerciser  detail>>

表单类

form classes  detail>>